p53
id_total, 1.210717446
id_io_time, 0.0
id_global_time, 0.0
id_inclusion_check, 0.038334575
id_inclusion_check_mod_p, 0.014450263000000001
id_groebner_time, 0.123222417
id_beautifulization, 0.337158046
id_normalforms_time, 0.0
id_gbfan_time, 0.0
id_ranking, 381.0
